HYBRIS - Efficient Specification and Analysis of Hybrid Systems -- Part I: The HybridUML Profile for UML 2.0
نویسندگان
چکیده
منابع مشابه
HybridUML Profile for UML 2.0
In this article, a new UML extension for the specification of hybrid systems, where observables may consist of both discrete and time-continuous parameters, is presented. The construction uses the profile mechanism of UML 2.0 which is the standard procedure for extending the Unified Modeling Language. Whereas hybrid modeling constructs are not available in standard UML, several specification fo...
متن کاملExecutable HybridUML and Its Application to Train Control Systems
In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the standard procedure for extending the Unified Modeling Language. The “intuitive semantics” of the syntactic extension is based on the semantics for hierarchic Hybrid Automata, as suggested by Alur et. al. In contrast to Alur’s fo...
متن کاملHYBRIS – Efficient Specification and Analysis of Hybrid Systems Part II – The Hybrid Low-Level Language Framework HL3
Machine reads
متن کاملIntroducing a Uml Profile For
Distributed system configuration consists of distributed application component placement and underlying network design, thus is a complex process dealing with interrelated issues. A four-stage methodology has been proposed in order to effectively explore configuration problems. A common metamodel for distributed system representation in all configuration stages is thus required, so that unclear...
متن کاملIntegrated Specification, Validation and Verifi- Cation with Hybriduml and Ocl Applied to the Bart Case Study
This article proposes the integration of the HybridUML specification formalism and the USE approach for validation of invariant constraints and verification of system states. The benefit is an executable real-time simulation with an integrated verification/validation component, which combines the advantages of the previously separate approaches by providing an accurate, (partially) time-continu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006